VDict - Definition of intersection type

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

constructed type Forsythe generic type variable subtype type inference principal type Run-Time Type Information implicit type conversion algebraic data type recursive type type type scheme polymorphic lambda-calculus discriminated union type assignment abstract data type functor type-ahead Boolean algebra typed lambda-calculus D-type injection instantiation derived type aggregate type union Ponder weak typing Quest explicit type conversion file type semiconductor enumerated type tuple sound 431A sum of products type strong typing Hungarian Notation s/// CLU plus computational geometry schematic type variable data type Boolean Persistent Functional Language polymorphism FIDIL serial port Document Type Definition infinity pattern matching monad nslookup codomain Interchange File Format scanf Seiko RC-4000 Complementary Metal Oxide Semiconductor more...